define i32 @array_ext([3 x i32] %x)
{
        %a0 = extractvalue [3 x i32] %x, 1
        ret i32 %a0
}

define i32 @array_gep([3 x i32]* %x)
{
        %a0 = getelementptr [3 x i32]* %x, i32 0, i32 1
        %z0 = load i32* %a0
        ret i32 %z0
}
